A guiding map for inflammation

Guiding Requirement Engineering with a Process Map

The approach CREWS-L’Ecritoire developed within the CREWS project tightly couples goal modelling and scenario authoring to elicit system requirements. The paper focuses on the process aspect of the approach. It presents the process model as composed of a map and associated guidelines. The map is a directed graph of intentions and strategies to flow from one intention to another. Intention achie...

a framework for guiding patient care

Mobile Guiding System for Parks Based on Highly Precision Electronic Map

Mobile Guiding System for Parks based on highly precision electronic map is of many researchers' concern, but commercial software cannot perform GPS positioning on custom-made maps for parks, and is not accurate enough to satisfy the requirements for drawing high precision electronic maps. This study uses trajectories measured by My Tracks software and a map edited in JOSM software to implement...

Guiding Philosophies for Running a Lab

I think that an underappreciated factor in succeeding as a principal investigator is getting the lab’s internal culture right. For my lab, the goal is an environment that is highly collaborative, e.g., with open sharing and recombination of raw ideas into better ideas. We havemanaged to maintain a highly collegial, drama-free environment over these past 7 years, but as the lab has gotten bigger...

Rippling: A Heuristic for Guiding Inductive Proofs

We describe rippling: a tactic for the heuristic control of the key part of proofs by mathematical induction. This tactic signiicantly reduces the search for a proof of a wide variety of inductive theorems. We rst present a basic version of rippling, followed by various extensions which are necessary to capture larger classes of inductive proofs. Finally, we present a general-ised form of rippl...